A Rust Shaped Hole
mnvr.in·21h·
Discuss: Hacker News
🦀Rust Macros
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.org·1d
💻Programming languages
Cactus Language • Stylistics 4
inquiryintoinquiry.com·18h
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Computer Architecture: A quantitative approach
ikerexxe.github.io·2d
🖥️Hardware Architecture
Historical highlights?
logicmatters.net·22h
🔀Category Theory
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.com·2d·
Discuss: Hacker News, Hacker News, Hacker News
🎯Performance Proofs
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
Compressed data structures for Heegaard splittings
arxiv.org·5h
🕳️Persistent Homology
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·11h·
Discuss: Hacker News
🎯Interactive Provers
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·4d·
Discuss: Hacker News
🌐Computational Topology
Coroutines in C
hackaday.com·1d
🔩Systems Programming
Programming Language Theory has a public relations problem
happyfellow.bearblog.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·18h·
Discuss: Hacker News
💻Programming languages
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·1h·
Discuss: Hacker News
🌀Brotli Internals
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·3h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
Edsger W. Dijkstra on IPW's
cs.utexas.edu·12h·
Discuss: Hacker News
🇷🇺Soviet Computing
🔥 De‑constructing Cognition and Why LLMs Can’t Replicate It
dev.to·4h·
Discuss: DEV
🔲Cellular Automata